formal language
pl: formal languages
Related Words
formalismcolloquialismalphabetgrammarsyntaxsemanticslogicsymbolstringautomatonalgorithmcomputationcalculusaxiomtheoremproofderivationrecursioninductionexpressionoperatoroperandvariableconstantpredicatequantifierpropositionsettuplemappingfunctionlanguagelinguisticscompilerparserlexicontokencontextregular expressionpushdown automatonturing machinecomplexitydecidabilitycomputabilitynotationlogic gateboolean algebralambda calculusprogramming languagemarkup languagenonterminalterminalambiguityequivalenceisomorphismmorphismcategory theorydiscrete mathematicsset theorytype theory